Towards a Formalization of System Requirements for an Integrated Clinical Environment

نویسندگان

  • Cinzia Bernardeschi
  • Andrea Domenici
  • Paolo Masci
چکیده

Interoperability of medical devices, and their interface to clinicians and patients, are critical issues for the safety and effectiveness of patient care. Ongoing efforts strive at establishing standards for integrated clinical environments, which may connect and co-ordinate several medical devices and interface them to patients, clinicians, and hospital information systems. In this paper, an approach to the formalization of system requirements for an integrated clinical environment is presented. The formalization relies on the higher-order logic language of the Prototype Verification System.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Identification of a Set of Activities to Be Collectively Considered as an Integrated System for Registering Pharmaceutical Supplies in the Ministry of Health and Medical Education, Iran

Background and Aim: One of the complex processes in the Ministry of Health and Medical Education in Iran is the process of registering pharmaceutical supplies. Currently the registration process is a multi-stage process, resulting in parallel services, a waste of time and unnecessary expenses. Therefore, an integrated system will improve the relevant service delivery. The purpose of this study ...

متن کامل

An integrated Assessment System of Citizen Reaction towards Local Government Social Media Accounts

Agovernmentshouldusesocialmediaforcommunicatingwithitscitizen.Theengagement index score is one of the methods for assessing the rate of governmental success in using social media as a tool in establishing interactive relationships with its citizen. In general, the engagement index score is obtained by calculating the number of posts, number of likes and comments, and so forth on a single social...

متن کامل

Assisting Requirement Formalization by Means of Natural Language Translation

A prototype assistant, NL2ACTL, is presented for the formalization of behavioural requirements for the design of reactive systems. NL2ACTL is a tool for the automatic translation of Natural Language sentences, into formulae of the actionbased temporal logic ACTL. The Natural Language sentences are used to express informal requirements of reactive systems. ACTL is suitable for expressing propert...

متن کامل

Urban green spaces assessment approach to health, safety and environment

The city is alive with dynamic systems, where parks and urban green spaces have high strategic importance which help to improve living conditions. Urban parks are used as visual landscape with so many benefits such as reducing stress, reducing air pollution and producing oxygen, creating opportunities for people to participate in physical activities, optimal environment for children and decreas...

متن کامل

Some Issues in Implementation of a Voltage Stability Analysis Function in an Energy Management System Environment

Over the last few years, the problem of voltage stability has received a lot of attraction from the power system community. This type of stability is now a major concern for utilities in both planning and operating conditions. Both static and dynamic aspects of the problem have been discussed and investigated by the researchers. The present paper concentrates on a Voltage Stability Analysis fun...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • EAI Endorsed Trans. Self-Adaptive Systems

دوره 2  شماره 

صفحات  -

تاریخ انتشار 2016